Submission to the Australasian Computing Doctoral Consortium

[1] Cohn A, Renz J, Qualitative spatial reasoning. In van Harmelen F, Lifschitz V, Porter B (eds): Handbook of Knowledge Representation; Elsevier Science, 2007. [2] Allen JF, Maintaining knowledge about temporal intervals. Communications of the ACM; 1983, 26 (11), pp.832-843. [3] Dylla F, Frommberger L, Wallgrün JO, Wolter D, SparQ: A toolbox for qualitative spatial representation and reasoning. In Proceedings of the Workshop on Qualitative Constraint Calculi: Application and Integration, 2006. [4] Wölfl S, Mossakowski T, Schröder L, Qualitative constraint calculi: Heterogeneous verification of composition tables. In Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2007); AAAI Press, 2007, pp. 665-670. [5] Schultz CPL, Clephane TR, Guesgen HW, Amor R, Utilization of qualitative spatial reasoning in geographic information systems. In Riedl A, Kainz W, Elmes GA (eds): 6th International Symposium on Spatial Data Handling: Progress in Spatial Data Handling; Springer-Verlag, Berlin Heidelberg, 2006, 12, pp. 27-42. [6] Schultz CPL, Amor R, Guesgen HW, Towards a theory of application for QSTR systems. To appear in AAAI Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, March 2009. [7] Schultz CPL, Amor R, Lobb B, Guesgen HW, Qualitative design support for engineering and architecture. To appear in Advanced Engineering Informatics; Elsevier, 2009, 23(1) pp. 68-80. [8] Schultz CPL, Amor R, Guesgen HW, Unit Testing for Qualitative Spatial and Temporal Reasoning. Submitted to Florida Artificial Intelligence Research Society Conference (FLAIRS 2009).